The number of Sylow p-subgroups of G is equal to 1 modulo p and divides |G|. Furthermore, any two Sylow p-subgroups are conjugate.